Logical consequence - PDFSEARCH.IO - Document Search Engine

Logical consequence
Results: 692

#	Item
621	doi:[removed]j.jal[removed] Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:32:25 Logical consequence Epistemology Binary operations Entailment Inference Probability interpretations Lottery paradox Material conditional Henry E. Kyburg Jr. Logic Propositional calculus Conditionals
622	On the Mirror Conjecture Bong Lian, Department of Mathematics, National University of Singapore; Department of Mathematics, Brandeis University, Waltham MA 02454, USA. [removed] Kefeng Liu, Department of Mathemat Add to Reading List Source URL: www.doctoryau.com Language: English - Date: 2008-03-23 01:15:25 Algebraic topology Characteristic classes Logical consequence Philosophical logic Theorems Euler characteristic Moduli space Euler class Atiyah–Bott fixed-point theorem Mathematics Topology Abstract algebra
623	Appears in Proceedings of 18th Int’l Joint Conference on Artificial Intelligence (IJCAI ’03). Logical Filtering Eyal Amir and Stuart Russell Computer Science Division, University of California at Berkeley Berkeley, Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2005-10-27 20:32:17 Deduction Entailment Logical consequence Model theory Logical connective Logic Propositional calculus Metalogic
624	Co-Training and Expansion: Towards Bridging Theory and Practice Maria-Florina Balcan Computer Science Dept. Carnegie Mellon Univ. Pittsburgh, PA 15213 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-12-28 22:51:11 Entailment Logical consequence Metalogic Randomized algorithm Semi-supervised learning Markov chain Conditional independence Strength of materials Logic Probability theory Deduction
625	On the Mirror Conjecture Bong Lian, Department of Mathematics, National University of Singapore; Department of Mathematics, Brandeis University, Waltham MA 02454, USA. [removed] Kefeng Liu, Department of Mathemat Add to Reading List Source URL: doctoryau.com Language: English - Date: 2008-03-23 01:15:25 Algebraic topology Characteristic classes Logical consequence Philosophical logic Theorems Euler characteristic Moduli space Euler class Atiyah–Bott fixed-point theorem Mathematics Topology Abstract algebra
626	Philosophy of the Social Sciences http://pos.sagepub.com/ Book Review: Extensionalism: The Revolution in Logic Michèle Friend Add to Reading List Source URL: www.nimrodbaram.com Language: English - Date: 2013-03-04 03:28:38 Logical consequence Philosophy of language Semantics Intensional logic George Boole Modal logic Mathematical logic Extensionality Mereology Logic Philosophical logic Non-classical logic
627	Planning Accessible Explanations for Entailments in OWL Ontologies Tu Anh T. Nguyen, Richard Power, Paul Piwek, Sandra Williams The Open University Milton Keynes, United Kingdom {t.nguyen,r.power,p.piwek,s.h.williams}@o Add to Reading List Source URL: aclweb.org Language: English - Date: 2012-07-18 14:14:03 Propositional calculus Mathematical logic Formal systems Axiom Entailment Inference Mathematical proof Semantic reasoner Logic Logical consequence Reasoning
628	S Y S T E M Z : A N A T U R A L O R D E R I N G OF D E F A U L T S W I T H T R A C T A B L E A P P L I C A T I O N S T O N O N M O N O T O N I C R E A S O N I N G () Add to Reading List Source URL: www.tark.org Language: English* - Date: 2011-10-23 10:31:56 Deduction Entailment Logical consequence Metalogic Ring Default logic Logic Abstract algebra Propositional calculus
629	Model Checking Fixed Point Logic with Chop Martin Lange and Colin Stirling Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:54:32 Logical consequence Logical syntax Metalogic Logic Deduction Entailment
630	Paul E. Oppenheimer and Edward N. Zalta 2 Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-03-23 12:52:55 Metalogic Logical consequence Arguments for the existence of God Ontological argument Prover9 First-order logic Function Entailment Interpretation Logic Mathematics Model theory

UPDATE